Is CADP an Applicable Formal Method?
نویسندگان
چکیده
CADP is a comprehensive toolbox implementing results of concurrency theory. This paper addresses the question, whether qualifies as an applicable formal method, based on experience authors and feedback reported by users.
منابع مشابه
Is the Baermann, an applicable method for detection of Strongyloides stercoralis?
Introduction: It is estimated that 100 - 300 million people in the world are infected with Strongyloides stercoralis. Although there are several laboratory diagnostic methods for detection of this parasite, there is still no gold standard diagnostic method. The need for an application test with high sensitivity and specificity is highly felt, especially in people with immune deficiency or organ...
متن کاملPractically Applicable Formal Methods
Formal methods are considered to be highly expensive. Therefore, they are currently applied almost only in high risk software development. In this paper, we show that formal techniques can be also efficiently used in standard large-scale applications. We focus on the generation of specifications which state the termination condition of for loops in Java code (expressed as so called Java Modelin...
متن کامل?Logic and Formal Ontology: Is the Final Formal Ontology Possible
Musa Akrami AbstractMany philosophers and logicians have contemplated the relationship between ontology and logic. The author of this paper, working within a Bolzanoan-Husserlian tradition of studying both ontology and logic, considers ontology as the science of the most general features of beings and the most general relations among them. He considers logic as the science concernin...
متن کاملFormal analysis of a hardware dynamic task dispatcher with CADP
The complexity of multiprocessor architectures for mobile multimedia applications renders their validation challenging. In addition, to provide the necessary flexibility, a part of the functionality is realized by software. Thus, a formal model has to take into account both hardware and software. In this article we report on the use of the CADP toolbox for the formal modeling and analysis of th...
متن کاملAn overview of CADP 2001
Cadp is a toolbox for specifying and verifying asynchronous finite-state systems described using process algebraic languages. It offers a wide range of state-of-the-art functionalities assisting the user throughout the design process: compilation, rapid prototyping, interactive and guided simulation, verification by equivalence/preorder checking and temporal logic model-checking, and test gener...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic proceedings in theoretical computer science
سال: 2021
ISSN: ['2075-2180']
DOI: https://doi.org/10.4204/eptcs.349.1